windowManager: Also clear animationInfo when size-changed wasn't emitted

It might be that we receive a "kill-window-effects" signal between the
emission of the "size-change" and the "size-changed" signal.

In this case we already have the animationInfo attached to the window
actor, so we should also remove it.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1251

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index e05c02305aba792b41f40eb3ebd17f593ae743e7..61d4f96f149fcfe934a1a63e79129cb80eed3cf1 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1385,8 +1385,10 @@ var WindowManager = class {
             this._clearAnimationInfo(actor);
         }
 
-        if (this._resizePending.delete(actor))
+        if (this._resizePending.delete(actor)) {
+            this._clearAnimationInfo(actor);
             this._shellwm.completed_size_change(actor);
+        }
     }
 
     _hasAttachedDialogs(window, ignoreWindow) {